CatDat

Implication Details

Assumptions: generating setself-dual

Conclusions: cogenerating set

Proof: This holds by self-duality.